Rust ゼロコスト抽象化

ゼロコスト抽象化(zero-cost abstraction)

下記を参照した方がよい。

404 Not Foundになってしまった...

要点としては、静的ディスパッチな感じで関数を生成しているのでゼロコストと言っている

例えば以下のようなジェネリクスの関数を作ったとする。

code:memo.rs

fn print_hash<T: Hash>(t: &T) {

println!("The hash is {}", t.hash())

}

print_hash関数で、boolやi32の引数を渡す処理を書いたとすると、下記のような関数がコンパイル時に生成される。

code:memo.rs

fn __print_hash_bool(&bool)

fn __print_hash_i32(&i32)

このようにすることを単相化というらしい。

具体的な関数が生成されるため、呼出側は生成された関数を直接呼び出すことになりオーバーヘッドがなくパフォーマンスが高い

抽象化に対する追加のコスト

メモリの動的利用(動的ディスパッチ)

trait(トレイト)は、C言語では関数ポインタで実装するJavaのインターフェイス的なもの

確認用

Q. ゼロコスト抽象化

Q. 静的ディスパッチ

Q. 静的ディスパッチの何がいいか

Q. 動的ディスパッチ

Q. 動的ディスパッチだと何がいいか

Q. そもそもディスパッチとは

参考

関連

メモ